Nancy Day

Associate Professor

David R. Cheriton School of Computer Science
University of Waterloo

Teaching

Here is a list of courses that I have taught at University of Waterloo:

SE212 - Logic and Computation
CS116 - Introduction to Computer Science 2
CS745 - Computer-Aided Verification (grad course)
CS445/SE463 - Software Requirements and Specification
CS245 - Logic and Computation
SE112 - Logic and Computation (now renumbered SE 212)

David R. Cheriton School of Computer Science, University of Waterloo

Last modified on Monday 10th of February 2025 09:19:03 AM